Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
51	An Introduction Tim Johannessen & Franz Nelißen GAMS Software GmbH GAMS Development Corp. Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-09-16 13:20:03 Computer algebra systems General Algebraic Modeling System Numerical software Software Mathematical analysis Theoretical computer science Gams Operations research Scientific modeling Algebraic modeling language Modeling language BARON
52	1 Introduction The following is a collection of synonyms for various operations in the computer algebra systems Axiom, Derive, GAP, Gmp, DoCon, Macsyma, Magnus, Maxima, Maple, Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2016-08-05 15:03:10 Software Mathematical software Computer algebra systems Discontinued software Cross-platform software Computer algebra Maple Macsyma MuPAD SageMath Scilab Matrix
53	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:20 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
54	The Condition of a System of Linear Equations: Alternative Derivation Roland Angst Computer Vision and Geometry Lab, Eidgenössische Technische Hochschule Zürich Zürich, Switzerland Add to Reading List Source URL: www.cvg.ethz.ch Language: English - Date: 2015-06-05 11:10:44 Algebra Mathematics Numerical analysis Numerical linear algebra Condition number Matrices Matrix Inequality Residual Regression analysis Conjugate gradient method Linear least squares
55	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
56	3. Polynomials Po-Shen Loh CMU Putnam Seminar, Fall Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2012-12-05 20:42:31 Mathematics Algebra Polynomials Abstract algebra Field theory Computer algebra Elementary algebra Fundamental theorem of algebra Irreducible polynomial
57	Feature Selection and Classification on Matrix Data: From Large Margins To Small Covering Numbers Sepp Hochreiter and Klaus Obermayer Department of Electrical Engineering and Computer Science Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2011-08-11 02:12:59 Algebra Mathematics Statistical classification Support vector machine Valuation Basis Constructible universe Isotope lists 73-96 Approximately finite-dimensional C*-algebra
58	published in SIAM Journal on Scientific Computing (SISC), 26(6):, ACCURATE SUM AND DOT PRODUCT∗ TAKESHI OGITA †, Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-22 09:18:17 Mathematics Mathematical analysis Computer arithmetic Algebra Numerical analysis Kahan summation algorithm Rounding Pi Sine Algorithm Division algorithm Dot product
59	Foundations of Programming for High Performance Computing: CS2101UWO, November, 5, Student name: Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2014-09-18 01:00:30 Algebra Mathematics Linear algebra Matrix theory Parallel computing Cache Computer memory Cache memory Data parallelism Matrix Exponentiation Trace
60	fx-9750GII With all the standard features of an entry-level graphing calculator, the fx-9750GII supports students and educators from middle school to high school and into college. Its icon-based menu is easy to navigate Add to Reading List Source URL: www.casioeducation.com Language: English - Date: 2015-02-10 10:21:45 Programmable calculators Graphing calculators Technology Electronics Business Casio Computer algebra systems SAT College Board PSAT/NMSQT Calculator Casio graphic calculators